This is a correction to my post of 4 June 2005. The erroneous date is Dec.1963. It should read,of course, Dec.1863. Sorry, I'll try to do better. Ernest.