Kurze Nachricht aus dem Maschinenraum:

Ab sofort sind Kommentare bis zu 5 Minuten nach dem Verfassen editierbar – zunächst einmal nur als Test, wenn alles glatt läuft dann dauerhaft. Fehlermeldungen bitte hier in die Kommentare.