Title: Productivity trends, 1935 to 1950, lead and zinc ores mining industries