Spitze Klammern in TheoII