>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> See the attached patch, which does the job. Martin> There are obvious further simplifications possible. It looks simple indeed. Let's wait until next monday to have Andre's views on this... JMarc