Forget nominal highs, should we be aiming at gold’s 1980 all-time high?