# # robots.txt for http://www.jrsoft.de/ # User-agent: *