[#8712] Zusätzliche Benutzereinstellungen

Die PRM Benutzereinstellungen wurden um folgende Einstellungen ergänzt:

-Suchhilfe für Dokumente

-Suchhilfe für Werkstoffe

-Gültigkeitsoption "Ohne verworfen Änderung"