f f a x y f f x f a y a f 2 a 0 FULL ./TRS/HofWald/6.trs