TX=Darmstadt ST8 + SB7; C=(HEAG_4ST8L[#D:L],HEAG_4SB7L)|(HEAG_4ST8[#D:R],HEAG_4SB7);