The Noctilux isn't mine. I was fortunate enough to borrow it for a while.
I don't know the Nokton 35/1.2, but do consider also the Summicron-M 35mm f/2 ASPH and pre-ASPH, both very good lenses, and about a million times smaller. They can be had for around €1200/900 respectively, IIRC.