Merge branch 'develop' of gitlab.lrz.de:vadere/vadere into develop

1 job for develop in 50 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Test
passed unit_tests_with_coverage #324221

00:00:50