The Germans started a Dutch opera with native singers and musicians and the Dutch loved it. At war’s end, they decided to keep it.

It took a national military defeat and four years of German rule to make the Dutch take grand opera and like it. It was not that Holland had plugged its dikes against all music: it has long had fine Bach societies and a great symphony orchestra, the Concertgebouw of Amsterdam…