Zunächst vielen Dank für die Lösung, soweit ich das sehe ist sie richtig.
Ich gebe dann etwas später den vollständigen Lösungsweg an. Aus der allgemeinen Herleitung läßt sich wohl eine noch etwas kürzere Form ableiten.
Bei der Auswertung von Variablen vor und nach einem Übergang muss man wohl eine weitere Verzögerung einführen damit die alten Werte, die Auswertung und die neuen Werte sauber getrennt werden, aber das ist nur eine Kleinigkeit.
Manfred