Baníctvo a hutníctvo v Gemeri v Baníckom múzeu v Rožňave - Herčko, Ivan