Video in TIB AV-Portal: On Anti-de Sitter Type Space-Times