förmån för den till Ringteatern i Wien hö rande personalen.