Title: the miners of nottinghamshire