Regularization and Rothe Discretization of Semi-Explicit Operator DAEs