Zehn führende IS-Mitglieder bei US-geführten Luftangriffen getötet