Title: A compendium of British mining