B-meson properties from non-perturbative matching of HQET to finite-volume two-flavour QCD | Synapse