Oh, ich hatte vergessen zu schreiben, dass einer der betroffenen Benutzer noch gar kein servergespeichertes Profil hat, sondern nur ein lokales.
Sonst wär ich auch schon auf die Idee gekommen, dass es ein Server-Problem ist.
Ich kann also sein Profil nicht löschen, sonst sind ja alle Einstellungen weg :-(
Im Prinzip ist es also so, dass die Favoriten aus "C:\Dokumente und Einstellungen\username\Favoriten" verschwinden.