Anti-de Sitter spacetime