// writing in external editor
var aJS = JSON.stringify({txt : "012345\nabcde\näöüß"}),