Einen Beleg dafür habe ich bis jetzt auch noch nicht gefunden (ausser die Tasten selber).
Auch interessant: Ich habe eben die Tastatur von einem 8032 mit der von einem 3032 verglichen: Die Tasten vom 8032 sind deutlich lauter und machen einen wesentlich robusteren Eindruck.
Gruß Dirk