Dienstlisten des Münchner Hof- und Staatsorchesters als Quellen für die Streicherbesetzungen von Wagner-Aufführungen im 19. und 20. Jahrhundert