User-agent: *

Disallow: /~jahr/
Disallow: /~suess/
Disallow: /~kfischer/

Disallow: /IGMAS/
Disallow: /Self_HTML
Disallow: /scripts/
Disallow: /tmp/