image The original proof of the SRT [84] was based on an analyticity requirement which had no justification [41]. A precise formulation and a correct proof of the theorem were given only recently by Chrusciel [37]; see also [39], Sect. 5. In particular, no energy conditions enter the new version of the SRT   .