war dans för trappen föranstaltad i Operahuset.