assigned to @klaar36
enabled an automatic merge when the pipeline for cc2e3fc9 succeeds
merged
mentioned in commit 0b789696