Geodesic currents and length compactness for automorphisms of free groups.