# directed to all spiders
User-agent: *
Disallow: /grafiken/
Disallow: /logs/
Disallow: /texgraf/
Disallow: /webedit/
Disallow: /wiki/
Disallow: /intern/