Text this: An ultrasonic vibration device for micro electro-discharge machining /