ariadne_tex_dif hinzugefügt.