User-Agent: *
Disallow: /
Disallow: /cgi-bin/
Disallow: /doc/
Disallow: /gif/
Disallow: /hilfe/
Disallow: /icons/
Disallow: /index.html
Disallow: /manual/
Disallow: /pictures/
Disallow: /selfhtml/
Disallow: /support-db/
Disallow: /tcltk/
Disallow: /tmp/
Disallow: /users/
Disallow: /doc/