Merge branch 'develop' of https://gitlab.gwdg.de/lido/development into develop

Minor corrections in typography. Multilingual instead of multi-lingual
1 job for develop in 32 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed build #558518

00:00:32