Where is the postcode information of the Netherlands stored?
I've noticed that the postcode information of many streets in the Netherlands are known by nominatim. For instance, [this place](http://www.openstreetmap.org/?lat=52.016512&lon=4.354438&zoom=18) is very correctly reported by nominatim as "Buitenboogerd, 2611 KA, Nederland".
Nederland" (as can be seen [here](http://nominatim.openstreetmap.org/reverse?lat=52.016512&lon=4.354438)).
In the Netherlands, each street has a different postcode (or more). But on the "Buitenboogerd" way, I cannot see any information about the postcode, nor anywhere around! So I wonder, where is this information stored? How can I edit/update it?