Nach den blutigen Massenprotesten im Iran stand ein US-Einsatz offenbar kurz bevor – doch dann folgte Trumps Rückzieher. Doch der Druck auf Teheran bleibt hoch.