Re: [basex-talk] how to dump an basex database