Z histórie mineralogických výskumov v Dobšinej - Herčko, Ivan