Hall effect and vintage keyboards