Vacuum heat treatment : Conference on Vacuum Heat Treatment and Heat Treatment of Tools 2018 : selected, peer reviewed papers from the Conference on Vacuum Heat Treatment and Heat Treatment of Tools, November 20-21, 2018, Puchov, Slovakia / edited by Prof. Peter Jurči.