gamla sedvänjan , att Stora teaterns verksamhet får alldeles hvila på juldagen , frångickssåledes