We­gen des US-Fei­er­tags Co­lum­bus Day gab es heu­te kei­ne US-Kampf­jet­übun­gen.