I have moved to MPI-SWS. My new web page is www.mpi-sws.mpg.de/~aclement