Sorgt dafür, dass das PDF gebaut werden kann.
enabled an automatic merge when the pipeline for 6953e203 succeeds
mentioned in commit 03b41cba
merged
This will create a new commit in order to revert the existing changes.
