Einigung im Fluglotsenstreit. Das Ergebnis des Vermittlungsgesprächs: Kein Streik, dafür 5,2 Prozent mehr Gehalt.