Ejemplo para un cambiador de herramientas manual con sonda de longitud de herramienta automática después del cambio