# Christian Kirsch <ck@held.mind.de>, 1996, 2001
# Michael Piefel <piefel@informatik.hu-berlin.de>, 2003, 2006, 2007, 2008, 2009, 2010
#
# Christian Kirsch <ck@held.mind.de>, 1996, 2001
# Michael Piefel <piefel@informatik.hu-berlin.de>, 2003, 2006, 2007, 2008, 2009, 2010
#