Cold Antihydrogen at ATHENA: Experimental Observation and Beyond