Update trafo.h