!7 // from: https://www.europeandataportal.eu/data/de/dataset/5262159c-d358-11d5-88c8-000102dccf41/resource/f9ea66e2-a5bd-46cf-8ede-44ce772addb1?inner_span=True p-exp { new TreeSet allStreets; for (S snippetID : ll(#1400199, #1400200)) { temp ZipFile zip = openZipSnippet(snippetID); new TreeSet streets; for (S line : linesFromReader(utf8ZipReader(zip, "Strassen_und_Wegenetz.gml"))) { addIfNotNull(streets, startsWithEndsWith_getRest(trim(line), "", "")); } print("Got " + n(streets, "street")); allStreets.addAll(streets); } print("All streets: " + l(allStreets)); }