af de strejkande grufarbetarne i Westfalen hade i eftermiddagkl.