Berlins folkmängd uppgick den15