Further information about UTC(IT)-GPS time