# robots.txt zu http://www.tauchers-pinnwand.de/

User-agent: *
Disallow: /dtd/
Disallow: /w3c/
Disallow: /img/
Disallow: /extern/
Disallow: /cgi-bin/extern.cgi
Disallow: /cgi-bin/service.cgi

Sitemap: http://www.tauchers-pinnwand.de/sitemap.gz