TX=Darmstadt ST9; C=(HEAG_ST9L[#D:L],HEAG_4SB6KL)|(HEAG_ST9[#D:R],HEAG_4SB6K);