Manuel M. T. Chakravarty <chak@cse.unsw.edu.au> with contributions from (alphabetical order) Jens-Ulrik Petersen <juhp@01.246.ne.jp> Armin Sander <armin@mindwalker.org> Axel Simon <simona_@web.de> Michael Weber <michael.weber@Post.RWTH-Aachen.DE> Thanks for comments and suggestions to Simon Marlow <simonmar@microsoft.com> Sven Panne <Sven.Panne@informatik.uni-muenchen.de>.