>>>>> "PB" == Peter Breitenlohner <[log in to unmask]> writes:

PB> Although irrelevant for the conclusion, you (JS) should have
PB> gotten this right:

You're right, of course -- as usual. :-)

    Joachim