used in place of this GIF file when not inferior. File:Petrozavodsk COA.gif → File:Petrozavodsk Greater Coat of Arms.svg For more information, see Help:SVG...
