Stationarity of asymptotically flat non-radiating electrovacuum spacetimes.