Hi!
Also, ein derartiger Bot wäre genial. Allerdings wäre es IMO äußerst sinnvoll, daß a) das Teil halbautomatisch läuft, also ein Mensch den letzten Befehl zum Ersetzen gibt, und b) sollten mehrere Egänzungsmöglichkeiten zur Verfügung stehen. Z.B. ist ja immer "Zum Beispiel", aber die auch immer wieder beliebten "Jrhd"s, "Jhd."s und so weiter können "Jahrhundert" Jahrhunderte" "Jahrhunderts" oder "Jahrhunderten" heißen. Das sollte dementsprechend möglich sei, das passende einzusetzen. Bei den Jahrhunderten käme noch dazu, daß die sehr häufig auch noch Links sein sollten; aber das stellen wir wohl mal besser hintenan.
Schöne Grüße Alex