Quantum enhancement of a 4 km laser interferometer gravitational-wave detector. (2015)