Text this: Size Effects in Residual Stress Formation during Quenching of Cylinders Made of Hot-Work Tool Steel