Terminiert, hat aber scheinbar noch nen Fehler beim Relaxieren. Die Vorgaenger stimmen nicht