Forgive me but you are blowing my mind a little here.
http://zknives.com/knives/steels/steelgraph.php?nm=7cr17mov,9Cr18MoV&ni=,860&hrn=1&gm=0
According to Zknives, both 7Cr17Mov and 9Cr18Mov have 0.60% Nickel. In the data table below the graph, some elemental values are given as ranges. (The graph does show the maximum values in those cases and I'm guessing that could be misleading for certain visual comparisons, like 8Cr13Mov and 8Cr14Mov.) However, the nickel value is not given as a range. Is that a customary listing or just assumed to be a maximum? Also, are you saying that it could just be a byproduct of recycling as opposed to a purposeful ingredient? Not seeing it listed for the Acuto 440, is this is a case of the same recipe by a different process?
I tried looking up 1.4112 on Zknives but it defaulted to "W-Nr 1.4112". Based on the name and inclusions of Tungsten and Copper, I'm guessing that's a different steel.
For the same reason I don't see 1.4112 on BladeHQ's advanced search, I'm guessing it isn't in the Zknives database by that name.