On May 15, 2025, at 10:51, Peter Rasmusen <peter@...> wrote:

Sorry for my last mail, it was obviously not to this list.

If the list mom or list dad or whatever can delete it, please do. If not, just leave it and forget about it.

It wasn’t very interesting anyway.

:-)

Peter