Remarks on Time Discretization of Contraction Semigroups