"Dieser PIN wurde anfänglich per Zufallsgenerator gesetzt, kann aber jederzeit geändert werden."

Für mich stellt sich nach vielzähligen Versuchen nur die Frage: wie kann man den PIN-code ändern??