Title: The British coal-mining industry during the war