Der Warnstreik bei der Lufthansa endet Mittwochmorgen zu einer merkwürdigen Uhrzeit. Warum hat die Gewerkschaft Verdi genau diesen Zeitpunkt gewählt?