Gravar-mail: Measurement of the [Formula: see text] production cross-section in proton–proton collisions via the decay [Formula: see text]