Dear list members, I am looking for data on the population of North Korea around liberation, i.e. in 1945, before the migration towards the South started. My estimate would be around 7-8 millions. Any hint is highly appreciated. Best, Ruediger Frank