Hallo Norbert
Danke für die Links.
Da sind ja einige sehr interessante Tools dabei, die ich bei nächster Gelegenheit gleich mal antesten werde.
Zum Thema selbst :
Das Problem habe ich jetzt folgendermassen gelöst :
Ein "Neu setzen" des Kennwort wurde nicht akzeptiert. Es kam weiterhin zu dem geschilderten Phänomen. Deshalb habe ich vom Benutzer das "alte" Kennwort erfragt. Dieses habe ich gesetzt. Das Profil habe ich umbenannt. Der Benutzer konnte sich dann erfolgreich anmelden. Dann hat sich der Benutzer ein neues Kennwort vergeben "und der Fisch war geputzt"...
Fakt ist, dass der Fehler vorher wohl auch auf einem anderen PC reproduzierbar war.
Warum der Fehler aufgetreten ist... Ich habe keine Erklärung.