postalcode Very good german postal code list thing data from "https://worldpostalcode.com/germany/*" go generate to reget data json files in data/