assigned to @henrik
requested review from @florian
enabled an automatic merge when the pipeline for 2254ced6 succeeds
mentioned in commit 7b1e9236
merged