@c -*- coding: utf-8; mode: texinfo; documentlanguage: de -*-
@ignore
- Translation of GIT committish: 354f8ea159bb5216202e5815685fca8bd7e6919c
+ Translation of GIT committish: a6039d8aa56d66e91952a3b92ca7878d342e6ebe
When revising a translation, copy the HEAD committish of the
version that you are working on. For details, see the Contributors'