Heavy quark effective field theory at O(1mQ2). I. QCD corrections to the Lagrangian

We present a new calculation of the renormalized HQET Lagrangiam at order O(1mQ2) and discuss the consequences of the BRST invariance of QCD and the reparameterization invariance of HQET. Our result sets the stage for the calculation of the renormalized currents at order O(1mQ2).