-*-change-log-*- 1.0.0 Florian Eggenhofer <egg@informatik.uni-freiburg.de> 16. June 2017 * Initial release