Plasma-assisted electrochemical machining of microtools and microstructures. (September 2020)