Báňská a hutní praxe 13. - 18. století - Majer, Jiří