# $Id: robots.txt,v 1.5 2002/06/02 14:42:39 rscholz Exp $

User-agent: *
Disallow: /div/rrr/
Disallow: /div/schmidt.de/
Disallow: /old/div/rrr/
Disallow: /old/div/schmidt.de/