József Károly Hell - Hungarian mining engineer (1713-1789)