<div dir="ltr">Thanks very much, David, that does the trick! We will make do with the special case and leave the general case as an exercise for the reader...</div>