Berlins folkmängd utgjorde 1juni