Efficient solution of time‐domain boundary integral equations arising in sound‐hard scattering. (12th January 2016)