Lars Duening <mateese@ibr.cs.tu-bs.de>
