please set my subscription to 'digest'! sorry, but i'm running out of time at the moment... Nikolaus. (andresen at cs.man.ac.uk)