operahuset i de s. k. landtmarstaliSrummen.