Kleine Korrekturen und Ergaenzungen.