“An introduction to nonstandard methods in fixed point theory: ultrafilters and ultrapowers. 2.”