Seol mar théacs é seo: Ein Verfahren zur Erzeugung von optimalem Code für Ausdrücke unter Berücksichtigung gemeinsamer Teilausdrücke /