Nonstandard Analysis and Ultraproducts in Banach Spaces and Functional Analysis Lecture 1: Nonstandard Analysis and Ultraproducts of Structures