TAI zone?

[Guy Harris]

On Jun 30, 2011, at 2:02 AM, walter harms wrote:

> In Germany (at least) a lot of private clock use the dcf77 signal what is the official time signal
> for germany. And that honors leapseconds, sommertime etc. It is true that you can not get UTC
> clocks this is reasonable since most people expect there clock to have localtime.

"matches the clock on the wall" means "modulo the time zone you're in", i.e. the hour might not match UTC, but the minutes and seconds do.

So what do those clocks display in the second counter during a positive leap second?  A value > 59?