Changing name of index in german help from 'Huffman Coding' to 'Huffman
Kodierung'