A quibble:
> Gentzen died at age 35, a casualty of the World War.
makes it sound as if GG was a soldier or something. In fact, he was an academic and Nazi party member who worked in Czechoslovakia during the occupation. Wikipedia describes his death so:
> Gentzen was arrested during the citizens uprising against the occupying German forces on May 5, 1945. He, along with the rest of the staff of the German University in Prague was subsequently handed over to Soviet forces. Because of his past association with the SA, NSDAP and NSD Dozentenbund, Gentzen was detained in a prison camp, where he died of starvation on August 4, 1945.