Contact: douglas.butler [at] btinternet.com	Revised: November 2023