User-agent: *
Disallow: /mailman/private/cactus-mlists.in-berlin.de/
Disallow: /mailman/public/cactus-mlists.in-berlin.de/
Disallow: /mailman/listinfo/cactus-mlists.in-berlin.de