ExtensionManager

Verwalten von Erweiterungen in Mehrbenutzerumgebungen