Grundsätze
Korrekturen
Hier stehen alle öffentlichen Korrekturen, Aktualisierungen, Klarstellungen und Zurückziehungen, die neuesten zuerst.
Protokoll
Bisher gibt es keine öffentlichen Korrekturen.
Kleine redaktionelle Änderungen wie Tippfehler werden nur intern protokolliert. Wie Korrekturen gehandhabt werden, steht in den Grundsätzen; Fehler melden Sie über Kontakt.