This system crashed with the loss of all data and has not yet been restarted. A big thank-you to the people who contributed. Thank-you.