hi,
bin mir nicht ganz sicher, aber ich glaube, dass wir den fehler auch mal hatten:
versuch mal beim betroffenen user das lesezeichen und datenbank-symbol zu löschen, arbeitsbereich zu komprimieren und dann die datenbank neu zu öffnen. evtl. auch mal cache.ndk löschen...
hope it helps,
max