GitLab

[CHANGE] - our build system now supports module toolboxes. All our current modules where sorted into one of the toolboxes. The file modules-user.toolbox is not versioned and can be used for user defined lists of modules.

* progress indication
* additional properties to finetune clamping and equalization

not. Upper bounds do not belong to the grid. Finally adapted all dependent
stuff to the new interface.

the nav views. The nav views thus can serve as orientation all the time.