used in place of this GIF file when not inferior. File:Flag of ciudadreal.gif → File:Flag of Ciudad Real, Ciudad Real (Spain).svg For more information...