Einsatz gegen IS-Spitze in Syrien läuft weiter