Schau mal bei www.reichelt.de
mit der Bezeichnung TLE 4905 gibt es einen Hallsensor ím TO92-Gehäuse. Ist der klein genug? Der braucht nur 1 externen Widerstand, kann aber auch gleich ein Relais schalten.

felack