@amueck: ich habe diesen commit mit deinen lokalen Änderungen wieder rausgenommen
This reverts commit b4dac457
Checking pipeline status.
Status changed to merged
mentioned in commit 67c570c4