Grufarbetarestrejken i Saar-distrik- tet.