The coal industry in Western Europe : Dutch foreign trade