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
.