Sorry, hatte ich übersehen.
Und was viele nicht wissen (oder verdrängen): Man kommentiert und dokumentiert nicht für andere. Sondern für sein eigenes, etwas älteres Selbst. Es wird einem dankbar sein, oder diesen faulen Typen von damals verfluchen...
Rolf