# robots.txt for http://home.arcor.de/triga/

User-agent: *              # all robots