this file. It should be used in place of this PNG file when not inferior. File:Banderatorrelodones.png → File:Bandera de Torrelodones.svg For more information...