Converted by @migurski (thanks) with `ogr2ogr -s_srs EPSG:2872 -t_srs EPSG:4326 -f GeoJSON`