>>>>> "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