Copyright for cexpl.3:
Copyright 2002 Walter Harms (walter.harms@informatik.uni-oldenburg.de)
License for cexpl.3:
Distributed under GPL