har Berlins folkmängd seda » folkräkningen de » 1 Dec.