[oXygen-user] German hyphenation