„Gesamte Welt ein Stück sicherer geworden“. Hamas-Chef tot! Ist der Gaza-Krieg vorbei?