Ok, ein kurzer Praxistest hat gezeigt, das "stop" und "pause" in Wahrheit eh das gleiche machen und ich sporadisch auch schon von "anhalten" spreche. Von daher ändere das jetzt gerne in stable und trunk, wenn Dir das so besser gefällt. Ich kann da auf alle Fälle gut mit leben... Änderst Du im Gegenzug waagerecht? ;-) Gute Nacht, Jannick