Production and detection of cold antihydrogen atoms