lika stor som Kristianias teater.