Merge branch 'master' into 'master'

Rechtschreibung See merge request !6
1 job from master in 1 minute 11 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #522
compile_pdf

01:11