This site has moved to http://www.informatik.uni-konstanz.de/organisation/systemadministration/