After the Franco-Prussia war of 1870-1871, Prussia unified what would then be the German Empire. In 1947, the Allies formally dissolved Prussia. Between 1871 and 1947, what was Prussia?