Moin !
hat sich einer von Euch schon einmal mit den Adressdefinitionen in Spanien beschäftigt ?
Es gibt da immer diese Bezeichnung “Portal und Efendico” … die sind zwar sehr verbreitet auch wenn mehr und mehr Hausnummern einzug halten.
Schaut man in https://wiki.openstreetmap.org/wiki/ES:Key:addr nach, dann sollte addr:postcode verwendet werden - das steht aber im Gegensatz zu den dortigen Postleitzahlen!
Gruß Jan