World wide directory of machine tool manufacturers #8159.