>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
Georg> It is maybe ad-hoc, but it is the best I could come up with, Georg> and reasonably documented. I cannot come up with something better either. >> So I guess we should apply it. Georg> Done. Thanks. JMarc
