docs: def UTCFromGps(gpsWeek, SOW, leapSecs=14):
      """converts gps week and seconds to UTC
  
      see comments of inverse function!
  
      SOW = seconds of week
      gpsWeek is the full number (not modulo 1024)
      """
      secFract = SOW % 1
      epochTuple = gpsEpoch + (-1, -1, 0) 
      t0 = time.mktime(epochTuple) - time.timezone  #mktime is localtime, correct for UTC
      tdiff = (gpsWeek * secsInWeek) + SOW - leapSecs
      t = t0 + tdiff
      (year, month, day, hh, mm, ss, dayOfWeek, julianDay, daylightsaving) = time.gmtime(t)
      #use gmtime since localtime does not allow to switch off daylighsavings correction!!!
      return (year, month, day, hh, mm, ss + secFract)