Title: The machine tool : an interlingual dictionary of basic concepts