Under windows/IE, "file/import & export/export bookmarks" will produce a bookmark.html file which is compatible with those used by mozilla products.