of this file. It should be used in place of this PNG file when not inferior. File:Звезда Инглии.png → File:Oberezhnik.svg For more information, see Help:SVG...
