History of the Mandolin: The Instrument, Its Exponents and Its Literature, from the Seventeenth Until the Early Twentieth Century