Gas and star formation from HD and dust emission in a strongly lensed galaxy. Issue 3 (7th September 2020)