Lösung Funktionsterm aus Transformationen