wijzigingen synchroon met Traces.tex