Title: On copper mining in the Lake Superior district