dessa äro berättigade till pension ur teaterkassan.