ISO 4017 (DIN 933)