Since geopandas used in the Python script is using huge amounts of memory, which I don’t have, I wrote a small program which does not load the file into RAM. Instead it processes the file line by line, feature by feature. This way the program is mostly I/O & CPU intensive. It also outputs directly in GeoJSON.

I uploaded the program to GitHub, if anybody else has not enough memory and wants to give it a try…