Manuel M T Chakravarty Duncan Coutts Donald Stewart Thanks to Marcin Kowalczyk and Michael Weber for useful suggestions and to Gabriele Keller for debugging help.