Correct the ASD or the TCB-timer synchronization

We set sync_asds = 1ms/sqrt(Hz). However, the sampling time of these measurements is in the order of days, default dt = 1day. Hence, considering that we still use white noise(because we do not have further information), we get for the rms value

tcb_sync_rms = 1ms * sqrt(fs/2 / Hz) = 1ms / sqrt(2 * 86400) ~ 2.4e-6s,

which is far too small.