[440] Irun, span. Stadt in Guipuzcoa, an der Bidassoa, mit 1200 E.; in den letzten span. Bürgerkriegen oft genannt.
Brockhaus-1911: Irún
Meyers-1905: Irún
Pierer-1857: Irun