High-efficiency machining of single-crystal germanium using large-radius diamond tools. (16th January 2008)