TX=Darmstadt ST4 + SB3; C=HEAG_ST4,2*HEAG_SB3; D=R;