Fix build, update docu, cleanup.
Passed
René Schöne
created pipeline for commit
1447c6a4
, finished
For dev
2 minutes 7 seconds, queued for 2 seconds