Improves menubar.

• Removes menu-item Dokumentation, as this will be moved into a different place in the navigation. This simplifies the menu bar and saves some space.
• Fixes menu-item for the download with right size and position adjustment for the text "Download".