Very nice razor! :)
But, how did you achieve a bigger hardness on it than 65 HRC? I don't really know 1.2442, so I don't know the hardness either, but I know that 1.3505 (aka 52100) is about 63-65 HRC as quenched, and with the minimal tempering temperature it reaches about 62HRC working hardness quenched in oil, and maybe a bit bigger quenched in water.