The page has been moved to http://www.fi.muni.cz/~sochor