Einige Zahlen über die Bevölkerung Berlins