There will be no llti mail until Monday. (Thanksgiving Holidays in the USA!) Otmar Foelsche (LLTI Editor)