Merge branch 'onestep' of git8.cs.fau.de:software/cool into onestep

10 jobs for !9 with onestep
merge request