The »Musica« of Hermannus Contractus