Berlins folkmängd uppgick ,enligt