K dejinám baníctva na Slovensku v druhej polovici 19. a na začiatku 20. storočia - Mazůrek, Jaroslav