General Benedek är icke död.