"Nonstandard analysis has proved to be a natural framework for studying the local properties of Banach spaces. The central construction in this approach is the nonstandard hull, introduced by Luxemburg ... . Not only is this a useful tool in studying the local theory of Banach space geometry, but also nonstandard hulls arise naturally in many other places within nonstandard analysis."