The first message went out using Majordomo. This should go out using Mailman. Apologies for the disturbance. Harald