Timestamp Explorer

TODO(de): GPS / TAI use the current 18 / 37 second offsets (valid 2017–present); historical leaps not modelled.