On the Dirichlet semigroup for Ornstein -- Uhlenbeck operators in subsets of Hilbert spaces