Disinfection of medical tools