Holey Gouda, De Nederlandse Opera is no more. From tomorrow it’s officially known as Dutch National Opera. What hasn’t changed is the . . .