Im at my wits end so im asking here. Im searching for a file where I can see the zip-codes (7 digit) of portugal as polygons. Does anybody know of a database or a site where I can find information like that?

Kind regards.