Title: The mining industry in the Huddersfield district