Die Geschichte des Bergbaus im böhmischen Erzgebirge - Hrabánek, Jaroslav