Einwohnerzahl der 15 größten Städte Deutschlands 1955 – 2018