Grufarbetarne i Westfalen förklara generalstrejk.