Die Piloten hatten bereits im Mai und Anfang Juli gestreikt