— Några af operahusets festdagar.