The abelian Higgs Kibble model, unitarity of the S-operator