An a Posteriori Error Estimate and Adaptive Timestep Control for a Backward Euler Discretization of a Parabolic Problem