Definition DescriptionT :=
  TranslatedTextT.
