¿Cuál es la ciudad más poblada de Alemania, con 3.472.000 habitantes?