String theory compactifications (3/6)