JPRS (series). 7135. Scientific and technical development in North Korea, 1945-60.