Irans Oberster Führer soll laut israelischen Angaben getötet worden sein. Ein Ende des Regimes würde das noch nicht bedeuten.