Hamburger Beiträge zur Angewandten Mathematik Variational discretization of parabolic control problems in the presence of pointwise state constraints