Weil die Entscheidung erst am späten Abend gefallen wäre, zog die Gewerkschaft zurück. Streik zu anderem Zeitpunkt ist aber weiter möglich.