  As an explicit example of HQET, we construct correlation functions containing
a heavy-light axial current, both in the static approximation and in full QCD.
This enables us to investigate the size of finite mass effects. As we use the
lattice regularisation, we can also check the mass dependence of discretisation
errors.
