The one I worked on last year had a 3 prong IEC wall plug going to a Moog branded "rat in the snake" 100V - 240V in / 12V @ 2A out switching supply. I assume the ground was transferred through that?
Yes, thats right. The AC part is such a 3 prong wall plug, but how is the grounding for the DC 12 V output made? Capacitors to both poles, one pole? Measurements show no connection to the AC plugs, no DC connection to the output. Capacitance (measured with 200 Hz triangular voltage) is fluctuating between 300 - 400 nF at DC minus. After a few seconds charging time about 9µF against DC plus. Unfortunately the power supply cannot be open without destroying it. The supply itself makes ugly RF Flickering, but the theremin seems to ignore it. I do not know how simple or special this works.