Title: Coal-mine workers and their industry