Title: the coal industry of the eighteenth century