User-agent: findlinks
Disallow: /
User-agent: *
Disallow: /witzig/

User-agent: googlebot
Disallow: /witzig/