PF-Matteo in realta' i server corretti sarebbero ntp1.inrim.it e ntp2.inrim.it...
time.inrim.it o ntp.inrim.it (stesso server) da qualche tempo viene indicato nella pagina ufficiale dei server NTP dell'INRIM (prima no), pero' a differenza degli altri due, questo NON fornisce il riferimento temporale ufficiale italiano (CTD, ossia Codice Telefonico di Data, ha ancora il nome originale di quando era fornito tramite modem dialup 😅) ma e' un server che si sincronizza con altri "a caso" su internet, come quelli della pool di ntp.org... Mai capito perche' 🤔