Heterotische Stringtheorie