First semi-empirical test of the white dwarf mass–radius relationship using a single white dwarf via astrometric microlensing. Issue 1 (6th December 2022)