Nichtstandard Analysis by Dieter Landers & Lothar Rogge