Thanks SFK for the info.
The Karcher black switch lever appears to be a push/pull type, whereas the Bosch shredder is a rotary switch.
I'll have to see whether the switch can be modified, or the shredder can be wired as a push switch.
The problem is that the on/off switch plastic control knob...