Gamle Festsal, Universitetet i Oslo