Berlins befolkning steg den 19 dec.