El día 15 de noviembre de 1980 era promulgada la Ley 57/1980 sobre el cambio de nombre.