Hamas-Anführer wurden getötet – oder werden noch gejagt