From Onstage to backstage: linked data and the history of theatre in the Dutch Golden Age