Issue 597: Export database as JSON

Why?