“…Colegio Mayor Miguel de Unamuno = Miguel de Unamuno Ikastetxe Nagusia…”