$${80\,\mathrm{mm,}}$$