previous to the tippeligaen, what was the league called?
first division