Die Anti-Hamas-Miliz meldet die Tötung ihres Anführers.