Notes submitted or commented on by illis
The postal code seems to be wrong: OSM reports 00510 but the correct code is 00530.