Irans Streitkräfte haben ihre Angriffe auf Israel für beendet erklärt. Zuvor hatte US-Präsident Donald Trump den Iran und Israel dazu aufgerufen, die gegenseitigen Beschüsse einzustellen.