k. operan i Stockholm.