Dzieje górnictwa i hutnictwa w Tatrach Polskich - Jost, Henryk