“…All this leads naturally to the question of existence of stationary solutions of the Einstein equations with Λ < 0, with or without sources, and of properties thereof. Several families of such solutions have been recently constructed numerically [6,11,13,23,27,33,36]; cf. also [5] for a rigorous construction of static solutions of the Einstein-Vlasov equations with Λ < 0.…”