Duden dictionary for German hyphenation and spell checking