Kämpft die Bundeswehr bald in Syrien gegen den IS?