Efficient Stationary Taxation and Intertemporal General Equilibrium