The homepage of Jiri Adamek was moved to:
http://sites.google.com/site/jiriadamek/