[Beholder]

Du kannst den Import auch nochmal von Hand anwerfen:

Klicke oben im Menu auf
"Lesezeichen"
--->"Lesezeichen verwalten..."
--->"Importieren und Backup"
--->"HTML importieren".

Dann kannst du auswählen, dass du die Favoriten aus den Explorer holen willst, und fertig!

ACHSO:
Die importierten Lesezeichen befinden sich unter "Lesezeichen" ---> "Von Internet Explorer".
Vermutlich hast du sie deshalb nicht entdeckt...