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