disable ideal.lib for a moment. Branch from now not usable for a pull request
Merge remote-tracking branch 'smoothers/fix.ehv.isSubset' into spielwiese.merged