Dear Heiko, many thanks, that solves and explains it.M. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://tug.org/pipermail/texhax/attachments/20180223/79c7af7e/attachment.html>