Berlins folkmängd utgjorde ,enligt