Berlins folkmängd utgjorde ,enl.