[paulmd]

Mining is much, much, much older than 1740. Basic cave mining dates back to prehistory, organized tunnel mining dates back to Ancient Egypt and Greece, and the Romans used sophisticated large-scale hydraulic-mining techniques with the use of pumps to drain water from deeper mines. By the medieval period the Germans were hitting really tremendous depths - by 1700 or so many mines were hitting depths of 300+ meters.