json-File selection also done interacive, if some may be needed, not known so far.
Catching on "Invalid_argument _" for String.sub now.