Kräftemessen im Persischen Golf: Soll sich Deutschland an einer US-geführten Militärmission beteiligen?