This page has moved to a cs.au.dk/~ranald.