# /robots.txt
User-agent: *
# meaningless for others
Disallow: /bibliothek/
Disallow: /cgi-bin/
Disallow: /fbsold/
Disallow: /stats/
Disallow: /awstats/