STK500: Was sind das genau fuer Taster da drauf?

Hallo,

was sind denn das genau fuer Taster auf dem STK500?

Die scheinen fast ueberhaupt nicht zu prellen, obwohl man keine 
Hardware-Entprellung auf dem Board erkennen kann.

Woran liegt das und wie lautet die genaue Typbezeichnung?