Stav dette: General relativity for mathematicians