Introduction: The cultural and material worlds of mining in early modern Europe · Study