I am no longer employed at the University Koblenz-Landau. Please visit my home page at the Max-Planck-Institut für Informatik.