rehnsk-westphalska koldistrikten strejka omkring 6 , 000.