User-agent: *
Disallow: /~fockert/html/
Disallow: /~fockert/misc/