Sum Formula For Sl2 Over A Totally Real Number Field by Roelof W. Bruggeman & Roberto J. Miatello