högtidlighållas , enligt k. Operadirektionens förmenande , dennya