Martin Grohe has left Humboldt University and moved to the RWTH Aachen.

You will be redirected to his new webpage at http://www-i7.informatik.rwth-aachen.de/~grohe/ in four seconds. Please update your bookmark.