vacker vestibul och hufvudtrappa , som den nya operabyggnaden kommer att få.