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