Ich hab jetzt mal wieder dev
rein gemerged und alle Konflikte resolved. Das ist in Visual Code leider echt ein ziemlicher Krampf, drum hoff ich auch, dass es nichts zerschossen hat von @CaCO3’s Änderungen. Abgesehen von einigen Autoformatting-Dingen die vielleicht auf der Strecke geblieben sind sollte das auch hoffentlich gelungen sein
Hier ein Pull-Request, damit ich das nicht so bald wieder machen muss
PS: Der PR hat auch den Branch von Frühsommerputz in der `management.html` mit dabei, weil ich davon geforkt hatte…