V idrijskem rudniku živega srebra so se lotili modernizacije tehnike izkopa in raziskovanja slojev okoli leta 1730. Ker ni bilo dovolj geodetov, je tudi upravitelj rudnika Steinberg pomagal pri vzgoji teh strokovnjakov. Med njimi se je odlikoval domačin Jožef Mrak, ki je leta 1752 celo dobil dovoljenje za tečaj ali šolo, kjer je predaval geometrijo, geodezijo in risanje; iste predmete je poučeval tudi v naslednji šoli, ustanovljeni leta 1763. Vzgojil je več sposobnih geodetov.