Analyticity of strictly static and strictly stationary, inheriting and non-inheriting Einstein-Maxwell solutions

Following the technique of Muller-zum-Hagen, refs [1,2], we show that strictly static and strictly stationary solutions of the Einstein-Maxwell equations are analytic in harmonic coordinates. This holds whether or not the Maxwell field inherits the symmetry.