Berlins folkmängd uppgafs officielt den31