Hi Laurence - please try the latest texinfo.tex from http://ftp.gnu.org/gnu/texinfo/texinfo.tex. I fixed a bug in this area a few months ago. (It would be overkill to a full Texinfo release every time I tweak texinfo.tex, so I make the .tex available separately.)
It should read txi-de.tex. Hope it works out, Karl
