On 2017-01-27 16:27, Lars Madsen wrote: > or nowadays perhaps better ask on > > tex.stackexchange.com > > as hardly anyone uses newsgroups these days Ok, thanks. /Tomas