Fix /gitlab/ links

Alex Reinhardtrequested to merge
alexr/oh14de-links:gitlab into main

/gitlab/protokolle, /gitlab/protokolle_wip und /gitlab/todos kann ich nicht testen, sollten aber auch funktionieren.

Edited by Alex Reinhardt

Merge request reports