That's right, George:)
The 1212 types are "normally closed" for the brake light (which means that the brake pedal keeps it open when not depressed and therefore no brake lights or in other words, when the brake pedal is not depressed then the switch is depressed and vice verse)
The 1213 types are "normally open" needed for the ECU. Both switches are next to each other behind the brake pedal. It is also written above in the specs I linked in English.
