Sebastian Eichelbaum <eichelbaum@informatik.uni-leipzig.de> Mathias Goldau <goldau@informatik.uni-leipzig.de> Ralph Schurade Alexander Wiebel <wiebel@zib.de>
