‘Hallelujah’: a history