Operatic Productions in the Netherlands, 1886–1995: from Printed Annals to Searchable Performance Data. RDJHSS. 2020;5(2):79-90. doi:10.1163/24523666-00502007