kalla sig " halleluja-pojkar " och regementsmusiken har på sin repertoar eu särskild " halleluja-marsch ".