[basex-talk] how to dump an basex database