Spanische Piloten und Fluglotsen sind die Bestbezahlten der Welt.