Hi,
This json is "geojson-like" but it is not actual geojson and it breaks some conventions of the original format. If regular buildings are missing when you load your exported city in the City Viewer, then it means you encounter a bug described here.