(cherry picked from commit 4fa2427e)
(cherry picked from commit 01470b39)
Use the official auth. user name of the LDAP authentication to propagate user name changes to the OLAT fallback and WebDAV HA authentications