Berlins folkmängd uppgår enligt den sednaste folkräkningen ( den 3 Dec.