Kodierschalter, Dezimalschalter, Dekadenschalter, von Hartmann