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

1 job for !21 with sprint1 in 18 minutes and 2 seconds (queued for 1 minute and 52 seconds)
merge request