i det Rhensk-Westfaliska koldistriktet.