Differentiability of Busemann Functions and Total Excess. Nobuhiro Innami — 1982 Mathematische Zeitschrift