Issue 597: Export database as JSON

Missing `final`.