Regino of Prüm — Benedictine monk, chronicler and music theorist