This Dutch
aviation news site reports that German F-16's did the intercept...
Anyone knows since when zeee German Luftwaffe operate the F-16?
Doesn't mention
zeee type there, just that they were german, which in that case, as has been mentioned earlier, makes them F-4.