Baníctvo a banícke školstvo na Slovensku do roku 1919 - Slavkovský, Jozef