# robots.txt für Webspider
# Mit Disallow wird den Robots mitgeteilt, welche Bereiche
# nicht indiziert werden sollen. Wir haben nichts zu verbergen. :-)
# /cgi-bin/ ist nur als Beispiel anzusehen, weil wir keine Skripte haben.
# Datei is nur angelegt, um die 404 im error-log zu vermeiden
User-agent: *
Disallow: /cgi-bin/
Disallow: /ehemalige.html
Disallow: /php/index.php 
Disallow: /pdf/ehemalige.pdf