tomma , ehuruväl , hvad den kungliga teatern beträffar ,äfven