History and Contents of the Dutch Theatre Production Database. RDJHSS 2020, 5 (2), 13-26. https://doi.org/10.1163/24523666-bja10002.