What is the population of the city that Satz is an assistant prosecutor in?