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