merging failed due to "helfer" being renamed to "tools". Hopefully the commits aren’t broken  now…
merging failed due to "helfer" being renamed to "tools".
Hopefully the commits aren’t broken  now…

Conflicts:
	helfer

breunigs/gnt-eval,breunigs/gnt-eval,breunigs/gnt-eval,breunigs/gnt-eval,breunigs/gnt-eval,breunigs/gnt-eval,breunigs/gnt-eval