Bisher rund 100 deutsche IS-Kämpfer getötet