Title: Mines and mining in the (English) Lake District