I am not longer working at DIKU. Click here to go to my new homepage http://www.palix.info or wait for the automatic redirection.