Last notification. I look again: https://wiki.openstreetmap.org/wiki/Key:postal_code

> Some post offices thus have differing addr:postcode=* and postal_code=* values, but this is not an error.

That's exactly the case here.

Please close if you are agree, talk if disagree :).
Otherwise I will do close that note at beginning of January.