Súčasný stav štúdia dejín banského meračstva na Slovensku - Herčko, Ivan