Analytic spaces and dynam. programming door Thiemann