$${9,8\, \mathrm{mm}}$$