It was Docter not Doctor. It's a family name. I must admit I stumbled about that spelling too back then. The Docter company that offered LF lenses (as well as custom optics) in that period does not exist anymore.
However the successing company is into custom optics too. I assume that old and new Docter optics are practically from the same cradle.