Soren Sandmann E-mail: sandmann@daimi.au.dk Userid: ssp