dynamic auctions: after stopping condition, winner determination prototype (simple high bid) ready in t.thy