Category:Mines in Germany opened in the 18th century