Kein may have just been bumping the topic to the top of the list, hoping someone with the English digital download version would notice it, and upload the manual somewhere. That is, assuming there is no dire warning of black helicopters hunting you down if you violate the copyright, or you have to sign an NDA in your own blood to get the manual, or something.
I don't know if
replacementdocs is the best manual repository, or even a good one, but it's the one I have bookmarked. There are also file hosting sites such as
RapidShare or
Megaupload that don't need an account to use, etc...