Theory and Experimental Verification of the Longitudinal Instability of Cooled Coasting Beams at the Heavy Ion Storage Ring ESR