Hallo Tim, vielen Dank für die ausführliche Beschreibung der Möglichkeit. Das ist sehr wertvoll. Natürlich hege ich immer noch die Hoffnung, dass doch noch jemand auf eine Vorgehensweise gestoßen ist durch welche man mit „Bordmitteln“ einen Restart erreichen kann. Es sieht so aus dass ich das öfter machen muss. Der Servicetechniker übrigens hatte dann freilich einen Restart erreicht, wahrscheinlich mit der von Dir beschriebenen Methode.
