dagar göras inom operahusets lokaler äro mycket omfattande.