Kleinere Fehlerkorrekturen und Kommentarergänzungen