Mining-History-header Published July 25, 2017 at × in Mining History – the Bulletin of the Peak District Mines Historical Society