Berlins befolkning uppgår , enligt deni