This page has moved to a https://micro.dcs.fmph.uniba.sk/dokuwiki/.