Differential function spectra, the differential Becker-Gottlieb transfer, and applications to differential algebraic K-theory / Ulrich Bunke, David Gepner