http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=GDZPPN002281287 Gentzen published this paper in 1943 which initiated ordinal proof theory. I find it quite remarkable that he (Gentzen) could continue his logical studies after 1933, although Bieberbach obsessively tried to establish his 'German mathematics', a strange product of racism and misinterpreted intuitionism.