Alternative suggestion:

Administrator Manual (Administrator-Handbuch)
User Manual (Benutzer-Handbuch)

The abbreviation "Admin" does look a bit informal, and spelling it out looks cleaner and more professional.

Please keep in mind, that for the 3.4 release, we will most likely only have the User Manual ready, not sure about the Administrator Manual. :)

Please keep in mind, that for the 3.4 release, we will most likely only have the User Manual ready, not sure about the Administrator Manual.

In that case we should keep "More documentation" at the moment. As there are the certification management and the smart card setup documents in that section, which I believe are in the administrator section. Or will smart card be in the user section in the future?

Good point! Just to clarify: there are several chapters that appear in both the User Manual and the Administrator Manual, each with a different focus. Smartcards, Backup, and Trust Management are topics covered in both.

That said, this doesn't quite address the question above: what's the reasoning behind putting one manual in the "More documentation" section and the other in the main section?

1. That the users focus on the documentation which is more important for them.
2. That the menu is not too long. This point will be +/- moot now but removing "more documentation" now would make extra work.

And 1) stays valid. So I'd keep it in place until all the new documentation is available. Unless @ikloecker sees this differently

Note: I noticed that most of the old documents use underscores instead of hyphens in the document names. It doesn't really matter, but being consistent makes it easier to avoid typos.

I put the new menu entries below the menu entry for the Quick Guide into the Help menu.