Merge branch 'master' of gitlab.gwdg.de:irp/fresnel

4 jobs for master in 36 seconds (queued for 1 second)