antp.be forum

subj

This conversion should be done by DivxManager, or by a program made by DivxManager's creator.
I won't do that myself, since I do not have all the information about its database.
One solution would be to export to CSV and import this file in DivxManager, but I am not sure that it can do that (import CSV).
You should rather ask to DivxManager's creator how to do that