den gamla historiska operakällarens alla lokaler äro för alltid stängda , och gamla » nobis»