Ich bilde mir ein, daß auch zu alten Rechtschreibzeiten sowohl `Stop' als auch `Stopp' verwendet wurde. Irre mich diesbezüglich? Falls ich recht habe, müßte der entsprechende Commit revidiert werden. Werner