Fix compilation error for TRANSLATION=DE
Merge pull request #838 from alexion4/compilation_error_de

Fix compilation error for TRANSLATION=DE