Recording Music from the Eton Choirbook with TONUS PEREGRINUS