Pages have been moved here: http://vjimc.osu.cz.