Ich lese da:
Inwieweit auch Raketen der deutschen Tornados dazu beigetragen haben, bleibt offen. Meldungen, nach denen eine von einem deutschen Kampfjet abgefeuerte HARM ihr Ziel, eine gegnerische Radarstellung, verfehlte und im Nachbarland Ungarn einschlug, wurden offiziell nicht bestätigt.