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