@Matze:
Mein Versuch, hier antworten zu wollen, ist vermutlich durch das Klingeln des Telefons o.ä. vereitelt worden.
Ich schaue mal, wie soetwas zustande kommt und wir werden eine Lösung dafür finden. Der Hinweis "duplicate key" sagt ja schon, woran es hängt. Bei mir selber ist dieses Fehler tatsächlich zuletzt vor etwa 6 Monaten aufgetreten - dennoch werde ich ihm nun den Garaus machen.
Daniel R. Wolf
mit Grüßen aus Hamburg