Exploitation of the Traversella Mine in the 18th and 19th centuries