This repository contains the shapes of german postcode areas (Postleitzahlengebiete) in geojson format.
data/postleitzahlen.geojson
- GeoJSON (RFC 7946)
Using jq
cat data/postleitzahlen.geojson|jq '.features[] | if (.properties.postcode == "80333" or .properties.postcode == "80335") then . else empty end'|jq -s . > ziptofence.json
Using mapshaper
mapshaper -i ziptofence.json --dissolve -o format=geojson out.json
Extracted from http://www.openstreetmap.org/