Creo recordar que esta peli no se estrenó en España hasta después de la muerte de Franco, así que ese doblaje que dices debe ser el original...