berättades att Mangin var död.