Add note on the effectivity of time randomization
    
    The bachelor thesis of Michal Jireš shows that the effectivity of time
    randomization is higher with bigger rounding, e.g. to full seconds.
    This is happends because the noise depends on the precision.