This is my old hompage.
I have moved back to the Max-Planck-Insitut für Informatik in Saarbrücken.
You will be taken to my new homepage in a few seconds.