Title: The miners of Nottinghamshire