Text this: The mining industries, 1899-1939;