company:digital equipment corporation