Sven Dietrich's page has moved to http://www.cs.hunter.cuny.edu/~spock/'.