lädt nun standardmässig .def anstelle von .tri
lädt nun standardmässig .def anstelle von .tri