de strejkande grufarbetarne , om de så önskade,