Executioner or Punisher

I remember seeing this movie on TV as Horror Castle. I was a kid but I remember the character being called The Executioner. I now own a VHS copy titled The Virgin Of Nuremberg and he is called The Punisher. Has anyone else noticed this? It must be that there were two different dubbings.