Die üblichen Elektronikversender habe ich schon abgesucht, aber nichts gefunden.
Vielleicht bin ich ja nur zu blöd zum suchen. Ich habs mit "Temperaturschalter" und "Bimetallschalter" versucht. Oder heißen die Dinger anders?