Nach Tod al-Bagdadis: Einsatz gegen IS-Spitze läuft weiter