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

2 jobs for !5 with feature_quadrature in 11 minutes and 33 seconds
merge request