Das berichtet die staatliche Nachrichtenagentur IRNA unter Berufung auf die iranische Armee. Die Schäden an den angegriffenen Raketenproduktionsstätten seien gering, hieß es weiter. Das israelische Militär hatte in der Nacht mehrere Einrichtungen im Iran angegriffen, darunter Anlagen zur Raketenproduktion. Ein Sprecher teilte mit, alle Ziele der Mission seien erreicht worden.

Ein israelischer Vergeltungsschlag war erwartet worden, nachdem der Iran Anfang Oktober rund 200 Raketen auf Israel abgefeuert hatte, um die Tötung von Hisbollah-Chef Nasrallah im Libanon zu rächen. Die USA und andere Staaten hatten in den vergangenen Wochen versucht, auf eine Befriedung der Lage hinzuwirken.