Analytic spaces and dynam. programming by Thiemann