War der Leiter des militärischen Nachrichtendienstes im Oberkommando der Wehrmacht in der NS-Zeit ein sogenannter „Gerechter unter den Völkern“?