Wow, that 1.2442 is sick steel, 64HRC with 200 degree tempering is not bad. Can that be bought in flat stock with about 6-8mm thickness?

I guess its round stock only, but it is worth asking