K dejinám Baníckej akadémie III : Mikuláš Jozef Jacquin (1727-1817) - Herčko, Ivan