On Mon, 5 Aug 2024 at 09:53, Paul Eggert <eggert@cs.ucla.edu> wrote:
>
> On 2024-08-05 09:22, Tim Parenti via tz wrote:
> > That page is the responsibility of Robert Harry van Gent and is hosted
> > by the Faculty of Science at Universiteit Utrecht.
>
> Van Gent cites many sources for Amsterdam time (mostly in Dutch) here:
>
> https://webspace.science.uu.nl/~gent0113/wettijd/wt_text6b.htm
>
> Many of his sources are contemporaneous. It's an impressive list.
>
> Although it's not clear whether the ".32.13" is van Gent's calculation
> or is copied verbatim from one of those sources, it's surely close to
> the correct value insofar as that can be determined.
Wow! Thank you both.
The Van Gent site in particular certainly seems complete - though I don't speak dutch.
--
Eitan Adler