Version 25.0 R9 (Erweiterungen) Corpora Browser: Im Corpora-Browser wird die Spracheinstellung zuverlässiger übernommen, sodass die Oberfläche nicht mehr unbeabsichtigt auf Englisch wechselt, obwohl Deutsch eingestellt ist.
