A time-dependent obstacle problem in linearised elasticity. (March 2020)