[873] Irún, Stadt in der span. Prov. Guipúzcoa, an der Bidassoa, (1900) 9912 E.
Herder-1854: Irun
Meyers-1905: Irún
Pierer-1857: Irun