version of this file. It should be used in place of this PNG file. File:Banderastacruztfe.png → File:Flag Santa Cruz de Tenerife city.svg For more information...
