bugfix for isSubset, see track ticket 551
Merge remote-tracking branch 'origin/spielwiese' into fix.isSubset
Merge pull request #598 from surface-smoothers/fix.isSubset

bugfix for isSubset(), see trac ticket 551