Manufacturing of micro bores in high-performance materials by use of dry electrical discharge drilling