Hamburg hat 80.946 Einwohner weniger als gedacht - was sind die Folgen für den Haushalt, den öffentlichen Dienst et cetera? (II) (Drucksache / Bürgerschaft der Freien und Hansestadt Hamburg ; 20/8375, 2013)