Gravar-mail: HOLMES: The electron capture decay of [Formula: see text] Ho to measure the electron neutrino mass with sub-eV sensitivity