\input texinfo @c -*- coding: utf-8; mode: texinfo; documentlanguage: de -*-
@ignore
- Translation of GIT committish: 83c1d1a6ee4e89f7f913fab904816e6c033b6b04
+ 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'