Bundeswehr RAL Paint Colours

[Enfield1940 10]

This relates to a helmet rather than a vehicle, but I hope you’ll forgive me as this seems a good place to ask...

I’ve acquired a West German paratrooper helmet and I’m trying to ID what colour it was painted in for restoration purposes. Having looked at a RAL colour deck, I think it is probably one of the following:

RAL 7011 Eisengrau

RAL 7012 Basaltgrau

RAL 7015 Schiefergrau

RAL 7016 Anthrazitgrau

RAL 7024 Graphitgrau

Were any of the above an official colour used by the Bundeswehr for vehicles and / or equipment? It might help narrow it down.

Thanks,

Mark