German_population_1872