  Convergence of a full discretization of a second order stochastic evolution
equation with nonlinear damping is shown and thus existence of a solution is
established. The discretization scheme combines an implicit time stepping
scheme with an internal approximation. Uniqueness is proved as well.
