Text this: Catálogo bibliográfico y biográfico del teatro antiguo español: desde sus orígenes hasta mediados del siglo XVIII