Music: How to Play the (18th-Century) Violin