User-agent: *
Disallow: /~albert/
Disallow: /~arjan/
Disallow: /~dennis/
Disallow: /~devel/
Allow: /