Noch fehlt das Bundestagsmandat für den Militäreinsatz im Roten Meer. Der könnte bis Ende Februar erfolgen.