Danke an alle für die Tipps. Bin gerade dabei meine STM1 "Made in Japan" (Mitsumi) zu reparieren.

Für diese Mausvariante mit den größeren, gelben Tastern bin ich auch fündig geworden. Es handelt sich um die Omron B3F-4055. Wie es scheint, werden diese Taster unverändert hergestellt.