Historické prvenství aplikace dusíku v hornictví - Šancer, Jindřich