User-agent: *
Disallow: /bin/
Disallow: /cgi-bin/
Disallow: /cgi-bin-priv/
Disallow: /cgi-jugger/
Disallow: /cgi-pack/
Disallow: /src/
Disallow: /ORIG/
Disallow: /bilder/
Disallow: /fdse/
Disallow: /friends/
Disallow: /geosys/
Disallow: /icons/
Disallow: /insel/
Disallow: /jugger/
Disallow: /linux/
Disallow: /manual/