Casting de Mort d'Hitler, l'histoire d'un secret d'État