literature online

Hi,

I just discovered that the library of the university of Goettingen has a 
digitalisation project and a document server with free access. Here is the 
url: http://gdz.sub.uni-goettingen.de/en/index.html

They have all the old papers by Gentzen, Hilbert, von Neumann, Zermelo, 
etc. (incl. the paper by Schuette on Alessio's "Wanted"-list.)

-Lutz