Seol mar théacs é seo: Die kulturgeschichtliche Bedeutung des sächsischen Bergbaues