User-agent: *
Disallow: /~zig/
Disallow: /~tschenz/
Disallow: /~martini/
Disallow: /mailman/