Many electronic properties of solids can now be described ab initio, thanks to the advent of powerful computers and the development of ingenious methods, such as density-functional theory (DFT) with local density (LDA) or generalized gradient (GGA) approximations, LDA+HubbardU (LDA+U), quantum chemical methods, dynamic mean-field theory, quantum Monte-Carlo simulations, and exact diagonalizatio...