Das Pentagon geht davon aus, dass Iran die Meerenge vermint hat. Wie könnte die Deutsche Marine bei der Räumung von Seeminen helfen?