Hymn for the martyrs of Agaunum — Walafrid Strabo