# robots.txt for http://www.extradomain.de/

User-agent: *