-*-change-log-*- 1.0.0 Florian Eggenhofer <egg@informatik.uni-freiburg.de> 21. December 2016 * Initial release