Bei Angriffen im Gaza-Streifen. Israelische Streitkräfte schalten Top-Terroristen aus