Merge pull request #312 from wolfgangmm/develop

[bugfix] choose correct type for range index lookup
Merge branch 'develop' of https://github.com/eXist-db/exist into develop