Coal mining in the Netherlands 1100-1974