# robots.txt for http://www.verwaltung.uni-mainz.de/