Stav dette: Models and ultraproducts;