I wouldn't bet my head on it, and I have no time to rewatch now, but I have both versions, including the German version, and from what I remember when watching it (it was years ago), it was the original. I remember there was some talk about it at the time, too.
Also, my German is a bit rusty...