kleine Korrekturen und Ergaenzungen.