Slovenské rudné baníctvo do druhého štvrťstoročia - Herčko, Ivan