German language support for the GNU texinfo software