DIGITAL EQUIPMENT CORP