The hill of Mam Tor, Derbyshire, England