Poll defaults fixed
uniques removed again
Corrected & vastly improved position_find
Merge branch 'duplication' of ssh://medien.informatik.uni-ulm.de/mind_server into duplication