Noch ist ein Waffenstillstand am Persischen Golf nicht in Sicht. Die deutsche Marine bereitet sich jedoch darauf vor. »Wir spielen das durch«, sagt Boris Pistorius.