Bei einem Luftangriff im Osten Syriens ist gestern nach Angaben von Aktivisten ein ranghohes Mitglied der Dschihadistengruppe Islamischer Staat (IS) getötet worden.