— Berlins befolkning uppgår , enligt deni