Zitat von Norbert Preining <preining at logic.at>: [...] > > bottom line: everything is generated from the tlpsrc files. > [...] Ah, ok. So I started with the result, not the input. ;-) I will look at the tlpsrc then. Thank you for the hint. Ciao, Oliver