Update definitionen.tex

just updated it.