( gammaltl 1 : 22å