User-agent: Yeti
User-agent: twiceler
User-agent: MJ12bot
User-agent: Yandex
User-agent: dotbot
Disallow: /

User-agent: *
Disallow: /cgi-bin/
Disallow: /karten/