en omedelbart begynnande internationell grufarbetaresträjk.