# robots.txt zu http://www.tauchreiseportal.de/ User-agent: UniservalRobot/1.0 User-agent: tauchreiseportal-Robot Disallow: /quellen/dtd/ Allow: /quellen/dtd/index.html User-agent: manke Disallow: /banner/ Disallow: /temp/ Disallow: /