Hallo Sven(2),
der Farnell Typ ist 1,5 mal größer als der von mir verwendete. Trotzdem danke für den Hinweis.

Die Maße meines Musters sind 3,5x4,2 mm.

Gefunden habe ich den Taster letztes Jahr hier:
http://wppro.com/content/de/produkte...oduct/516.html