Flachsenker-Satz, DIN 373