Mining and manufacturing production statistics of Korea 1958 - 1971 (Asian Economic Press, 1975)