Michael Heltzen — mining engineer (1712-1770)