Title: A history of copper mining in Devon and Cornwall