Fixes #34: replace SQL-dumping with export to XML.