User-agent: asterias
User-agent: psbot
Disallow: /

User-agent: *
Disallow: /~3.14
Disallow: /~sdf/papers
Allow: /~sdf/papers/index.html
Disallow: /E-Mail/
Disallow: /FotFS
Disallow: /aspero
Disallow: /camerlo
Disallow: /cgi-bin
Allow: /cgi-bin/abstract/show.pl
Disallow: /internal
Disallow: /mailman
Disallow: /pipermail
Disallow: /redhat
Disallow: /schindler
Disallow: /zeman