Title: Hist. of mining, II