Rudolf Reder versus Kurt Gerstein