Hvad strejken i Saarbrticken beträffade,