Seol mar théacs é seo: Die historischen Quellen zum mittelalterlichen Bergbaugeschehen