Re: [swinog] issues/changes about (swiss)time.ethz.ch ?