# robots.txt for http://www.paulmichl.de/ 
# file created: 01.06.2007
User-agent: *
Disallow: