Robbe microswitch | 3 pole | 20A # 4030