Sorry, I though google groups ate my posting because it did not appear
for quite a long time.

martinus