Determination of the distance between the end face of the drill sleeve and the surface of the workpiece 2022-09-04