grufembetsmän ha blifvit misshandlade af de strejkande grufarbetarne.