Which new spark plugs should be used for a 3500GTI, first registered 22.05.1963 ? The mentioned type in the owners manual is not available anymore....