version of this file. It should be used in place of this GIF file when not inferior. File:Hottonvlag.gif → File:Flag of Hotton.svg For more information, see...
