# robots.txt for http://www.ok-dom.de/

User-agent: *