Hi,
 
There is a link to an article (in Korean language) in 1988. Does this article or any other articles give any hints as to whether DST was observed in North Korea in 1987 and/or 1988?  The history of DST in South Korea is now much clearer, and perhaps there are some hints or suggestions in some of these articles regarding DST in North Korea since WW II.
 
Thanks,
David Cochrane
 
--------------
 
For example, the article in 1948(Korean Language) proved that DST started at June 1 in that year.
For another example, the article in 1988 said that DST started at 2:00 AM in that year.