Due to maintenance at 01.07.2025 from 8:00 to 09:00, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.
1fc2d1f902b53c14d2b73e65f4c532af5b7562b1
12 commits (timo.altan@th-koeln.de)