The homotopy fixed point spectral sequence