Hello dear forum members, does anyone happen to know the manufacturer of these switches? Many thanks in advance!