On Linux, I would, of course, have used ... | awk '/^DEU/ {print $2}' | ... :grinning:

In practice I was on windows & loaded the whole thing into PostgreSQL with a COPY statement including the PROGRAM option. SQL is then used to filter & convert the geojson linestrings to something usable.