Je was op zoek naar: mushroom push button (Engels - Nederlands)

push button
drukknop

push-button
drukknopschakelaar

push button box
drukknopkast

hand push-button
handdrukknop

alarm push button
alarmdrukknop

push-button control
drukknopbesturing

(pedestrian) push button
voetgangersdrukknop

one of these devices shall be a red punch button (mushroom push button).
een van deze apparaten moet een rode slagknop (paddenstoelvormige drukknop) zijn.