Use of terminology in machine translation (in German)