Staden Berlins befolkning uppgick den 1 dec.