A check-list of the plucked and hammered stringed instruments in the Edinburgh University Collection of Historic Musical Instruments