Laboratory and space spectroscopy of DCO+