Talk given at Simula, 2013-01-24