Berlins folkmängd , som i februariutgjorde