Talk:Behrend's trace formula