Stav dette: Applied nonstandard analysis.