Answer
A few equivalent combinations work, depending on keyboard layout and hardware: Ctrl+Alt+Right-mouse-button, Ctrl+0+Right-mouse-button, or AltGr+Right-mouse-button — try each in case one specific combination doesn't register on a given machine.