Text this: Editing music in early modern Germany /