This is only a local File-Hierarchy of 'mi.fu-berlin.de' ! == For public-domain Software and other unspecific Information use server 'ftp.fu-berlin.de' (do anonymous ftp at ftp.fu-berlin.de. except if you KNOW the infos to be here :-) Thanks