This WEB-side has been moved to http://www.defm.fmph.uniba.sk