I believe it's the other way around: Kubrick got a version of the NASA lens modified to accept a Mitchell mount so he could put it on a 35mm motion film camera.

I believe it's the other way around: Kubrick got a version of the NASA lens modified to accept a Mitchell mount so he could put it on a 35mm motion film camera. He only used it for the candlelight scene because he had to remove the spinning mirror assembly used for monitoring, so they were shooting blind. Don't remember the sources for the anecdote, sorry. But the wikipedia page corresponds: https://en.wikipedia.org/wiki/Carl_Zeiss_Planar_50mm_f/0.7 https://en.wikipedia.org/wiki/Carl_Zeiss_Planar_50mm_f/0.7