I'm told by the server-owner that "our upstream provider has just experienced a network issue" (why can't they speak English?). If anyone sent a message round about 1900 BST, it probably won't reach the list. Sorry. JEC