Hehe, oh well. At least I was granted a few days of blessed ignorance were I didn't notice this and could just enjoy the original theatrical versions. So I'll revert back to watching ANH (or "Krieg der Sterne" as the movie was originally known in germany) on VHS again if I want to see it in german. Sigh.