new willemtools.sty