The Devil's Hole : with an account of a visit made to it in 1679 by Robert