meddelas att strejken bland grufarbetarne bestämdt slutat.