Die Geschichte des Erzbergbaus in der tschechischen [!] Republik - Petrik, Josef