Translation of "Terser" in German