Un gardien allemand (uncredited)