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