The strength of Non-standard Analysis - Van den Berg (Springer Wein, 2007)