This page has finally moved. In 10 seconds you will be redirected to its new home at http://www.mpi-sws.org/~rossberg/hamlet/. Please update your links. Thank you! Andreas Rossberg, 2009/06/03