High Machinability of Plasma-Nitrided HPM80 Dies at 673K by PCD-Tools for Hot Mold-Stamping