exporting mailing lists in mbox format

Folks,


is there a script (or a service) to convert a mailing list archive on
mail-archive.com back to the mbox format?  In my particular case I
would like to get the stuff from

  https://www.mail-archive.com/[email protected]/

This list is now closed, and I'm not too optimistic that the original
mbox files on ffii.org still exist...

The main reason for my request is that I want to merge the old list
data with the current one ([email protected]).


    Werner