Hi, On 06/02/2018 01:11 PM, Frederik Ramm wrote: > If you happen to have access to material than can legally be used to > re-add some of the now missing place names, then your help is very > welcome.
It has been pointed out to me that there is 1983 document on North Korean place names by the United States Board on Geographic Names in North Korea. A Google-digitized, public domain version is viewable online, https://hdl.handle.net/2027/pst.000015364708 and a text-only OCR'd version is also available. But the names are all in English only, and the coordinates rounded to full arc minutes (i.e. +/- 1.5km on the ground). It could be good enough to label places you see on the imagery, but it is certainly not good enough for any kind of automated processing. Bye Frederik -- Frederik Ramm ## eMail frede...@remote.org ## N49°00'09" E008°23'33" _______________________________________________ talk mailing list firstname.lastname@example.org https://lists.openstreetmap.org/listinfo/talk