A short history of the Scottish coal-mining industry