DIN 933 vs. ISO 4017 and DIN 931 vs. ISO 4014