— Berlins folkmängd har på 17 årfrån