middagens slut intogs kaffe och derefter begåfvo sig konungen och hans gäster till Stora teatern.