Please go to http://www.daimi.au.dk/~brynskov/