Category:Mines in Germany opened in the 1720s