La población era ya más del doble de eso en 1945.