Waffenruhe im Iran. Schickt Deutschland Soldaten in die Straße von Hormus?