Merge branch 'develop' of https://git.scc.kit.edu/rtsn/rtsn into develop

1 job for !42 with develop in 20 minutes and 19 seconds (queued for 2 seconds)
detached
Status Name Job ID Coverage
  Unit Tests
passed unit_tests #409804

00:20:19

55.0%