MathematikEckart Menzler-Trott × Gentzens ProblemMathematische Logik im nationalsozialistischen DeutschlandEckart Menzler-TrottSpringer BaselSoftcover2012