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