Navigation

This PR depends on https://github.com/hpicgs/gloperate/pull/30 and should not be merged before.