  Direct evaluation of the 1-loop fluctuation determinant of non-static degrees
of freedom in a complete static background is advocated to be more efficient
for the determination of the effective three-dimensional model of the
electroweak phase transition than the one-by-one evaluation of Feynman
diagrams. The relation of the couplings and fields of the effective model to
those of the four-dimensional finite temperature system is determined in the
general 't Hooft gauge with full implementation of renormalisation effects.
Only field renormalisation constants display dependence on the gauge fixing
parameter. Characteristics of the electroweak transition are computed from the
effective theory in Lorentz-gauge. The dependence of various physical
observables on the three-dimensional gauge fixing parameter is investigated.
