Der F-35 ist der teuerste Kampfjet der Welt