User-agent: *
Disallow: /hg/
Disallow: /pr/
Disallow: /quintett/
Disallow: /ohone/
Disallow: /info/
Disallow: /musik/
Disallow: /wpu9/
Disallow: /cgi-bin/
Disallow: /olof/
Disallow: /guenni/
Disallow: /physik10/
Disallow: /ludwig/