JSON toegevoegd als exportformaat

Het exportformaat JSON (JavaScript Object Notation) hebben we toegevoegd als keuze bij 'Formaat'.