Vývoj trhacích prác v rudnom a nerudnom baníctve na Slovensku po roku 1945 - Puzder, Ján