Berlins befolkning uppgår , enligtden