illisさんが投稿またはコメントしたメモ
The postal code seems to be wrong: OSM reports 00510 but the correct code is 00530.
OpenStreetMap