User-agent: *
Disallow: /u/*.pdf$
Disallow: /u/*.print$
Disallow: /a/*.pdf$
Disallow: /a/*.ppdf$
Disallow: /u/*.xml$
Disallow: /u/*.tex$
Disallow: /u/*.tex2pdf$
Disallow: /u/*.json$
Disallow: /u/*.md$
Disallow: /a/*.xml$
Disallow: /edit/*/*.html$
Disallow: /anlagen/
Disallow: /js/
Disallow: /css/
Disallow: /img/
Disallow: /gvp/
Disallow: /suche/

User-agent: MS Search 4.0 Robot
User-agent: Nutch
User-agent: discobot
User-agent: 123People
User-agent: findestars
User-agent: MyOnID
User-agent: peekyou
User-agent: Pipl
User-agent: rapleaf
User-agent: snitch
User-agent: spock
User-agent: tweepz
User-agent: wink
User-agent: Yasni
User-agent: yoname
User-agent: yourtraces
User-agent: zoominfo
User-agent: MJ12bot
User-agent: ia_archiver
User-agent: SemrushBot
User-agent: dotbot
User-agent: MauiBot
User-agent: AhrefsBot
Disallow: /