Dutzende IS-Kämpfer bei Luftangriffen der syrischen Armee getötet