Europe Today: Trump erklärt Iran-Krieg für beendet trotz Eskalationszeichen