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