Title: Derbyshire lead mining in the eighteenth century