Stability of Galerkin discretizations of a mixed space–time variational formulation of parabolic evolution equations. (4th February 2020)