We explain how to perform non-perturbative computations in HQET on the
lattice. In particular the problem of the subtraction of power-law divergences
is solved by a non-perturbative matching of HQET and QCD. As examples, we
present a full calculation of the mass of the b-quark in the combined static
and quenched approximation and outline an alternative way to obtain the B-meson
decay constant at lowest order. Since no excessively large lattices are
required, our strategy can also be applied including dynamical fermions.Comment: 27 pages including figures and tables, latex2e; version published in
JHEP, typos corrected and 1 reference adde