1. Laut Gericht kann erst nach Beendigung des Rechtsstreits der TUI-Eigner über den Verkauf des Zehn- Prozent-Pakets beschlossen werden. ( Quelle: Frankfurter Rundschau 1993）