Arsenalsgalan , i Operahuset.