$${20\, \mathrm{mm}}$$