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

0bd07d12 · jutta.lindenthal · d257b547 · 6ef7760b · 0bd07d12 · 0bd07d12
Commit 0bd07d12 authored May 13, 2021 by jutta.lindenthal
--- a/1.1/lido-v1.1-public-beta.html
+++ b/1.1/lido-v1.1-public-beta.html
--- a/1.1/lido-v1.1-public-beta.pdf
+++ b/1.1/lido-v1.1-public-beta.pdf