Berlins befolkning uppgår ,enligt