Ja es sind geo json files (generiert via mapshaper).

Ausschnitt: