English

tons of rock produced per man hour