Fitzgerald–Lorentz contraction