— Berlins befolkning utgör , enligt sista räkningen,