This reverts commit 49de820d with the most recent faulty formatting fixes. I will try to fix it after the class.
enabled an automatic merge when the pipeline for 9730b9e2 succeeds
merged
mentioned in commit 288a85ec