Zoom tools
The map scale can be changed with the zoom tools. The different map scales are
defined in the pull-down menu. With every click the map scale will be increased
or decreased by a level.
In addition, it is possible to zoom in using the rectangle mode (click and drag
to select the desired area).