bugfix for isSubset, see track ticket 551
Merge remote-tracking branch 'origin/spielwiese' into fix.isSubset
merged with fix.isSubset