of this file. It should be used in place of this JPG file when not inferior. File:Escudomairena.jpg → File:Escudo de Mairena del Alcor (Sevilla).svg For...
