Lefschetz trace formulas and explicit formulas in analytic number theory. Christopher Deninger (1993) Journal für die reine und angewandte Mathematik