QED radiative corrections at the Z0: Theory versus implementation