Getöteter Hamas-Chef. USA boten Iran angeblich Agenten-Namen an