Berlins folkmängd till 415,719 själar.