Гайки DIN, ISO KRAFTOOL