Es ist geschafft!
Es war der Bug https://bugzilla.mozilla.org/show_bug.cgi?id=505656.
Den bösen Beistrich habe ich im http://www.jsonlint.com/ gelöscht, den ganzen Code kopiert, in einen JavaScript-Editor eingefügt und als JSON-Datei abgespeichert. Die hat dann Firefox anstandslos geschluckt.
Vielen Dank, Ihr habt mir viel Arbeit erspart!
MfG Franz