User-agent: *
Disallow: /lehre/protected
Disallow: /lehre/docs/