EDM-elektrodeboor snelspanboorhouder JTO 0-3 mm type elektrodebuis voor elektrodeboormachine