Thomas Mitchell in Double Role?

Thomas Mitchell plays the Gypsy King "Clopin," but I swear he is also playing the role of the "deaf judge" who sentences Quasimodo to be whipped.

The IMDb attributes the un-credited role of the "deaf judge" to actor Otto Hoffman, but photos of the actor Hoffman (with his long, down-turned nose) don't resemble the judge at all.

It simply looks and sounds like a heavily made up Thomas Mitchell "playing" old and breathless.

I wonder if Hoffman was originally cast and Mitchell had to replace him at the last moment for some reason - or, perhaps the scene was simply re-shot for some reason. In fact, the way it's shot, it might only be Mitchell in close up - the reverse shots showing only the back of the judge's head could be Hoffman, I suppose.