On Monday, November 7, the last notes had not quite rung out as the Amsterdam Opera House audience rose to its feet…