Allemagne : évolution de la population des villes de 1700 à 1939