daughter had never seen it. I didn't notice the first time through that the Red Skull's real name was John Smith (in German). Is this how it was in the comic book series, too? Bit of an originality fail, I think.