The Redundant Mineworkers (Payments Scheme) Order 1972 No. 335