The Homotopy Fixed Point Theorem and the Quillen–Lichtenbaum conjecture in Hermitian K-theory