sorry about the double post!

Hi,
Sorry for the two postings of the same topic! I didn't see my
posting after several hours, and so assumed that maybe I accidently
didn't hit the "post" link or something, and rewrote it. But when that
didn't show up, and postings on other google groups failed to appear, I
concluded that it seems google must have some issues over the past
couple days. So now, now that google groups is working, both redundant
messages have appeared. Sorry!

-Bernard