Mauro Werder's homepage has moved to http://maurow.bitbucket.org