Korrekturen und vervollständigungen im bereich der public edges.