Berlins folkmängd utgjorde , enligtden