Operarios colocando el rótulo de ‘Benito Villamarín’ en el Estadio. Fotografía: @Curro_Picchi.