Einsatz gegen IS-Spitze läuft nach Tod Baghdadis weiter