dass ich den Redundanztext entfernt haben soll, verwundert mich, aber du hast wohl recht. Ich bedauere das, ich kann mir nicht erklären, wie das passieren konnte. Ich kenne die Regeln hierzu nicht und vermute, dass dessen Entfernung Aufgabe desjenigen ist, der ihn eingefügt hat. Dem möchte ich keinesfalls vorgreifen. Bitte keine falschen Schlüsse ziehen; bisher habe ich mich der Diskussion nicht entzogen.