Jeff Lewis <lewie@galois.com>
Marcin Kowalczyk <qrczak@knm.org.pl>
Hans Wolfgang Lloidl <hwloidl@cee.hw.ac.uk>
- Sven Panne <Sven.Panne@BetaResearch.de>
+ Sven Panne <Sven_Panne@BetaResearch.de>
Ken Shan <ken@digitas.harvard.edu>
Keith Wansborough <Keith.Wansbrough@cl.cam.ac.uk>
Michael Weber <michael.weber@post.rwth-aachen.de>