Hi Martin, > *** tex.ch.org 2006-12-19 02:35:49.000000000 +0100 > --- tex.ch 2007-03-07 17:08:49.000000000 +0100 Note that tex.ch has been changed since 2006-12-19. Therefore you will need some manual work, sorry. Best regards, Akira