The Stückelberg–Kibble model as an example of quantized symplectic reduction