[Termtools] Re: Welcome to the new termtools mailing list

Dear Claude - a big thank-you for running the list all these years, and to Jürgen, for taking over, and kudos for keeping the archive. Best regards, Johannes.