Flachsenker-Satz, HSS, DIN 373