(Wiederholung: In einer früheren Version des Artikels hieß es, das Schiff heiße "IRIS Dana". Tatsächlich heißt das Schiff "IRIS Dena".) COLOMBO (dpa-AFX) - Beim Beschuss eines iranischen Kriegsschiffes im Indischen Ozean sind nach Angaben ...