drukletter- drukletter die bij het zetten van een tekst wordt gebruikt
Drucktype, die beim Setzen eines Textes verwendet wird
