Genau. Das Tastenprint kostete bei www.emmerl.de 4,95 DM+ MwSt. Also sogar recht billig !