rm many unused fcts, detected with xunused
detected using xunused (described in Developer's corner).
Edited by Wuttke, Joachim
detected using xunused (described in Developer's corner).
Merge details
enabled an automatic merge when the pipeline for 91725503 succeeds
aborted the automatic merge because source branch was updated
changed the description
added 3 commits
enabled an automatic merge when the pipeline for c9b17a27 succeeds
mentioned in commit fe0fcc11
merged