Stav dette: Nonstandard methods in fixed point theory