Dag meelezers,
ik had efemeride 1250 per ongeluk niet op 'toegankelijk voor iedereen' gezet.
Inmiddels is dat gedaan. Mijn excuses,
Piet van M.
