For further information please contact Martin Setvin (martin.setvin@mff.cuni.cz)