Bookmark Duplicate Detector fehlerhaft bei Firefox3?