DEC printers, Digital printers, DEC Line Printers, and Digital Line Printers