# robots.txt zu http://www.zeusgmbh.de User-agent: * Disallow: /pubs/ User-agent: ia_archiver Disallow: /