>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
>> Juergen, do you agree? Juergen> Looks reasonable, though I did not test it. Could you test it, so that we avoid another round of fixes? I tried to, but I may miss something else. JMarc
