GPS doet niet aan zomer/wintertijd, sterker nog, GPS gebruikt z'n eigen tijdsysteem. "GPS tijd" is ongeveer maar niet precies gelijk aan UTC, het scheelt momenteel 18 seconden. Of een Columbus automatisch overschakelt weet ik niet, hangt van de software af, hij zou moeten weten wanneer zomer/wintertijd ingaat, en dat zou iemand bij de fabrikant van de Columbus er best ingeprogrammeerd kunnen hebben. Maar het heeft niets met GPS tijd te maken.