Euskaltzaindia adecúa y digitaliza el Diccionario Histórico-Etimológico Vasco