Heavy Quark Effective Fields as Operator-valued Distributions ∗