User-agent: *
Disallow: /cgi-bin/
Disallow: /holger/
Disallow: /workshop/
Disallow: /cgi-local/
Disallow: /etc/
Disallow: /mpc/
Disallow: /stats/