wie viele menschen leben in hamburg