String theory compactifications (4/6)