F16-Einsatz gegen den IS kostete 148 Millionen Euro