The Duistermaat-Heckman distribution for the based loop group (Livestream from PI)