Also y und x sind die Knoten, die vertauscht werden.
z ist der Parent von y, der nach der Rotation der Parent von x wird.