Title: North Korean industry, 1946-50