My great-grandfather once told me that our family had worked in and/or owned those mines throughout their history. I had no idea how very cool they were (though likely not for my 14th century ancestors).
2 Likes