Trademarks owned by Digital Equipment Corporation