Gravar-mail: Observation of the 1S–2P Lyman-α transition in antihydrogen