User-agent: *
Disallow: /~seifert
Disallow: /~juergen.engelmann
Allow: /