Title: Lead mining in Derbyshire : history development & drainage, 3