Construction of a strictly renormalizable effective Lagrangian for the massive Abelian Higgs model

It is shown, using the BPHZ renormalization program and Zimmermann's normal product algorithm, that a strictly renormalizable effective Lagrangian for the Abelian massive Higgs model does exist: Ward identities are fulfilled, and normalization conditions, defining a theory in an indefinite metric Fock space, may be implemented.