One of my Korean-teachers studied a year abroad in N.Korea and was several times there. That happens when you study about Korea in the GDR