Title: The authorship, text, and history of the hymn Dies irae