# HoHoHaHa.de Roboter Info
User-agent: webcrawler
User-agent: hotbot
User-agent: *
Disallow: /cgi-bin